Category:Chris Verhoef

**Chris Verhoef**
	Dutch computer scientist
	Upload media
	Wikipedia
Date of birth	1962
Country of citizenship	Kingdom of the Netherlands;
Educated at	University of Amsterdam;
Doctoral advisor	Jan Bergstra;
Doctoral student	Vadim Zaytsev; Rene Krikhaar; Guus Delen; Łukasz Kwiatkowski; Laurenz Eveleens; Erald Kulk; Dharmalingam Ganesan; Niels Veerman; Pieter van der Spek;
Occupation	computer scientist;
Employer	Eindhoven University of Technology; Free University of Amsterdam;
Authority file
	Q19665543; ISNI: 0000000084743688; VIAF ID: 243411129; Library of Congress authority ID: n94102390; IdRef ID: 167713299; Nationale Thesaurus voor Auteursnamen ID: 093708017; NORAF ID: 26775; NUKAT ID: n2013129336; National Library of Israel J9U ID: 987007442123205171; Mathematics Genealogy Project ID: 156177
	Reasonator; Scholia; Wikidocumentaries; PetScan; statistics; WikiMap; Locator tool; KML file; Search depicted;